Russian Gas: What Happens If Germany Runs Out Of It